Olmo 3 is a fully open LLM
simonwillison.netยท6h
๐Brotli Internals
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgยท2d
๐Combinatory Logic
Flag this post
Railway Oriented Programming
๐งฌFunctional Programming
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท10h
ฮปLambda Encodings
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
๐ฆRust Macros
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.ioยท14h
๐ธ๏ธWebAssembly
Flag this post
POPL PaperโHyperfunctions: Communicating Continuations
doisinkidney.comยท5d
๐ปProgramming languages
Flag this post
On Cloudfare and Unwrap
๐ฆRust Borrowing
Flag this post
Automated High-Throughput Functional Protein Screening via Graph-Neural Network Enhanced Microfluidics
๐งฎKolmogorov Complexity
Flag this post
Notes for November 17-22
taoofmac.comยท8h
๐Brotli Internals
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgยท1d
โ๏ธABNF Mining
Flag this post
Loading...Loading more...